• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۱۶ پاسخ غیر تکراری از ۱۷ پاسخ تکراری در مدت زمان ۰,۸۶ ثانیه یافت شد.

1. Computability, Complexity, and Languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبان‌های صوری

رده :
E-Book
,

2. Introduction to automata theory, languages, and computation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / ‎John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

موضوع: ن‍ظری‍ه‌ م‍اش‍ی‍ن‌,زب‍ان‍ه‍ای‌ ص‍وری‌,پ‍ی‍چ‍ی‍دگ‍ی‌ م‍ح‍اس‍ب‍ات‍ی‌

رده :
QA
۲۶۷
/
ه
۲
الف
۹ ۱۳۸۰

3. مبا‌نی‌ نظریه‌ محا‌سبا‌ت‌ (نظریه‌ زبا‌ن‌ها‌ و ما‌شین‌ها‌)

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: لوئیس‌، هری

کتابخانه: کتابخانه کوثر دانشگاه قم (قم)

موضوع: زبا‌نها‌ی صوری,نظریه‌ ما‌شین‌,منطق‌ ریا‌ضی‌,پیچیدگی‌ محا‌سبا‌تی‌,منطق‌ ریا‌ضی‌

رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵

4. ‎نظريه زبان‌ها و ماشين‌ها‎

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / [دينگ‌جو دو، کر ـ آي کو],‎عنوان اصلي : Problem solving in automata, languages, and complexity . c2001‎,دو,Du

کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیه‌السلام) - تالار قفسه باز بانوان (خراسان رضوی)

موضوع: زبانهاي صوري,نظريه ماشين,پيچيدگي محاسباتي

رده :
۵۱۱
/
۳
د
۷۲۷
ن

5. نظریه‌ زبا‌نها‌ و ما‌شینها‌

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: سا‌دکمپ‌، تا‌مس‌ ا Sudkamp, Thomas A .

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: زبا‌ن‌ها‌ی صوری,نظریه‌ ما‌شین‌,پیچیدگی‌ محا‌سبا‌تی‌

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶

6. نظریه‌ زبا‌نها‌ و ما‌شینها‌

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: سا‌دکمپ‌، تا‌مس‌ ا Sudkamp, Thomas A .

کتابخانه: کتابخانه دانشگاه تربت حیدریه (خراسان رضوی)

موضوع: زبا‌ن‌ها‌ی صوری,نظریه‌ ما‌شین‌,پیچیدگی‌ محا‌سبا‌تی‌

رده :
QA
۲۶۷
/
۳
/
ن
6
س
2

7. نظریه زبانها و ماشینها

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / تالیف توماس سودکمپ,عنوان اصلی: .Languages and machines : an introduction to the theory of computer science, 3rd ed, 2006,س‍ادک‍م‍پ‌,Sudkamp

کتابخانه: دانشکده فنی فومن (دانشگاه تهران) (گیلان)

موضوع: زبان‌های صوری,نظریه ماشین,پیچیدگی محاسباتی

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶ ۱۳۹۲

8. نظریه زبانها و ماشینها

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / تالیف توماس سودکمپ,عنوان اصلی: Languages and machines : an introduction to the theory of computer science, 3rd ed, 2006.,س‍ادک‍م‍پ‌,Sudkamp

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: زبان‌های صوری,نظریه ماشین,پیچیدگی محاسباتی

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶ ۱۳۹۰

9. نظریه زبانها و ماشینها

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / [دینگ‌جو دو، کرـآی کو],عنوان اصلی : Problem solving in automata, languages, and complexity . c2001,دو,Du

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

موضوع: نظریه ماشین,زبان‌های صوری,پیچیدگی محاسباتی

رده :
QA
۲۶۷
/
د
۹۳
ن
۶ ۱۳۹۰

10. نظریه‌ زبا‌نها‌ و ما‌شینها‌

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: سا‌دکمپ‌، تا‌مس‌

کتابخانه: کتابخانه کوثر دانشگاه قم (قم)

موضوع: زبا‌نها‌ی صوری,نظریه‌ ما‌شین‌,پیچیدگی‌ محا‌سبا‌تی‌

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶ ۱۳۹۰

11. نظریه‌ زبا‌نها‌ و ما‌شینها‌

پدیدآورنده : تا‌لیف‌ توما‌س‌ سودکمپ‌

موضوع : زبا‌ن‌ها‌ی صوری,نظریه‌ ما‌شین‌,پیچیدگی‌ محا‌سبا‌تی‌

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

12. ‎نظريه زبان‌ها و ماشين‌ها‎

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / [دينگ‌جو دو، کر ـ آي کو],‎عنوان اصلي : Problem solving in automata, languages, and complexity . c2001‎,دو,Du

کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیه‌السلام) - گردش و امانت آقايان (خراسان رضوی)

موضوع: زبانهاي صوري,نظريه ماشين,پيچيدگي محاسباتي

رده :
۵۱۱
/
۳
د
۷۲۷
ن

13. نظریه زبانها و ماشینها

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / تالیف توماس سودکمپ,عنوان اصلی: .Languages and machines : an introduction to the theory of computer science, 3rd ed, 2006,س‍ادک‍م‍پ‌,Sudkamp

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

موضوع: زبان‌های صوری,نظریه ماشین,پیچیدگی محاسباتی

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶ ۱۳۹۲

14. نظریه زبانها و ماشینها

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / تالیف توماس سودکمپ ترجمه سیدحجت‌الله جلیلی,عنوان به زبان اصلی: Languages and machines : an introduction to the theory of computer science, 3rd ed, 2006.

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: زبان‌های صوری,نظریه ماشین,پیچیدگی محاسباتی

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶ ۱۳۹۲

15. نظریه‌ زبا‌نها‌ و ما‌شینها‌

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: سا‌دکمپ‌، تا‌مس‌ ا Sudkamp ،Thomas A. ,

کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)

موضوع: زبا‌ن‌ها‌ی صوری,نظریه‌ ما‌شین‌,پیچیدگی‌ محا‌سبا‌تی‌

رده :
QA
۲۶۷
/
۳
/
س
۲
ن
۶

16. ‎نظريه زبان‌ها و ماشين‌ها‎

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: / [دينگ‌جو دو، کر ـ آي کو],‎عنوان اصلي : Problem solving in automata, languages, and complexity . c2001‎,دو,Du

کتابخانه: كتابخانه مركزی (آستان قدس رضوی علیه‌السلام) - گردش و امانت بانوان (خراسان رضوی)

موضوع: زبانهاي صوري,نظريه ماشين,پيچيدگي محاسباتي

رده :
۵۱۱
/
۳
د
۷۲۷
ن
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال